Automatic Diagnoses for Properly Stratified Knowledge-Bases
نویسندگان
چکیده
We present a mechanism for recovering consistent data from inconsistent set of assertions. For a common family of knowledge-bases we also provide an efficient algorithm for doing so automaticly. This method is nonmonotonic and paraconsistent. It is particularly useful for making diagnoses on faulty devices. Subject areas: Knowledge-based systems, Non-standard logics for AI, Reasoning under uncertainty, Model-based diagnosis.
منابع مشابه
Four-Valued Diagnoses for Stratified Knowledge-Bases
We present a four-valued approach for recovering consistent data from inconsistent set of assertions. For a common family of knowledge-bases we also provide an eecient algorithm for doing so au-tomaticly. This method is particularly useful for making model-based diagnoses.
متن کاملMerging Stratified Knowledge Bases under Constraints
In this paper, we propose a family of operators for merging stratified knowledge bases under integrity constraints. The operators are defined in a model-theoretic way. Our merging operators can be used to merge stratified knowledge bases where no numerical information is available. Furthermore, the original knowledge bases to be merged can be individually inconsistent. Both logical properties a...
متن کاملQuota-Based Merging Operators for Stratified Knowledge Bases
Current merging methods for stratified knowledge bases are often based on the commensurability assumption, i.e. all knowledge bases share a common scale. However, this assumption is too strong in practice. In this paper, we propose a family of operators to merge stratified knowledge bases without commensurability assumption. Our merging operators generalize the quota operators, a family of impo...
متن کاملApproaches to Constructing a Stratified Merged Knowledge Base
Many merging operators have been proposed to merge either flat or stratified knowledge bases. The result of merging by such an operator is a flat base (or a set of models of the merged base) irrespective of whether the original ones are flat or stratified. The drawback of obtaining a flat merged base is that information about more preferred knowledge (formulae) versus less preferred knowledge i...
متن کاملFour-Valued Diagnoses for Strati ed Knowledge-Bases
We present a four-valued approach for recovering consistent data from inconsistent set of assertions. For a common family of knowledge-bases we also provide an eecient algorithm for doing so au-tomaticly. This method is particularly useful for making model-based diagnoses.
متن کامل